ELECTRONIC SUPPLEMENTARY INFORMATION (ESI)

Advancing hazard assessment of energy accidents in the natural gas sector with rough set theory and decision rules
Marco Cinelli1,*,^, Matteo Spada2, Miłosz Kadziński3, Grzegorz Miebs3, Peter Burgherr2 
1 Future Resilient Systems (FRS), Swiss Federal Institute of Technology (ETH) Zürich, Singapore-ETH Centre (SEC), Singapore
2 Paul Scherrer Institut (PSI), Laboratory for Energy Systems Analysis, Villigen PSI, Switzerland
3 Institute of Computing Science, Poznań University of Technology, Poznań, Poland
* Corresponding author: Marco Cinelli; email: marco.cinelli@put.poznan.pl  
^ Current address: Environmental Decision Analytics Branch, Land Remediation and Technology Division, Center for Environmental Solutions and Emergency Response, U.S. Environmental Protection Agency (EPA), Cincinnati, Ohio, USA


S.5 UNION OF CLASSES-BASED RULES 

**************************************
INTERPRETATION OF AN EXAMPLE DECISION RULE
(A1 = 2) & (A5 = 99) & (A2 = 5) => D1 = 1 | D1 = 2 [5, 6, 3,297%, 2,747%, 3,797%, 3,165%, 83,333%][4, 1, 1][{116, 118, 56, 112}, {144}, {162}]
CONDITION PART => DECISION PART [5 - number of alternatives satisfying the condition and decision parts of the rule, 6 - number of alternatives satisfying the condition part of the rule, 3,297 = 6/(cardinality of the entire set of alternatives), 2,747 = 5/(cardinality of the entire set of alternatives), 3,797 = 6/(cardinality of class/class union in the decision part), 3,165 = 5/(cardinality of class/class union in the decision part), 83,333 = 5/6 - certainty][4 alternatives covered in the first class, 2 alternatives covered in the second class, 1 alternative covered in the third class][{116, 118, 56, 112}, {144}, {162}] - indices of the covered alternatives in the respective classes
**************************************

<=X means Rules for at most Cl X
>=X means Rules for at least Cl X

<=1
(A6 = 2) & (A7 = 99) & (A5 = 3) => D1 = 1 [2, 2, 0,8%, 0,8%, 1,242%, 1,242%, 100%][2, 0, 0][{21, 250}, {}, {}]
(A3 = 33) & (A5 = 2) & (A2 = 6) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{88}, {}, {}]
(A1 = 2) & (A5 = 2) & (A4 = 38) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{4}, {}, {}]
(A4 = 4) & (A2 = 99) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{91}, {}, {}]
(A3 = 22) & (A5 = 3) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{219}, {}, {}]
(A3 = 24) & (A1 = 1) & (A5 = 2) => D1 = 1 [1, 2, 0,8%, 0,4%, 1,242%, 0,621%, 50%][1, 0, 1][{224}, {}, {169}]
(A5 = 4) & (A6 = 99) => D1 = 1 [2, 2, 0,8%, 0,8%, 1,242%, 1,242%, 100%][2, 0, 0][{49, 48}, {}, {}]
(A7 = 99) & (A4 = 7) => D1 = 1 [3, 3, 1,2%, 1,2%, 1,863%, 1,863%, 100%][3, 0, 0][{98, 69, 8}, {}, {}]
(A2 = 8) & (A1 = 2) & (A5 = 3) => D1 = 1 [3, 5, 2%, 1,2%, 3,106%, 1,863%, 60%][3, 2, 0][{33, 104, 222}, {245, 123}, {}]
(A5 = 2) & (A3 = 35) => D1 = 1 [1, 2, 0,8%, 0,4%, 1,242%, 0,621%, 50%][1, 0, 1][{238}, {}, {216}]
(A2 = 8) & (A1 = 1) & (A5 = 4) => D1 = 1 [3, 3, 1,2%, 1,2%, 1,863%, 1,863%, 100%][3, 0, 0][{26, 59, 92}, {}, {}]
(A1 = 2) & (A3 = 10) & (A4 = 4) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{99}, {}, {}]
(A1 = 1) & (A4 = 2) & (A3 = 13) => D1 = 1 [1, 2, 0,8%, 0,4%, 1,242%, 0,621%, 50%][1, 1, 0][{239}, {229}, {}]
(A1 = 1) & (A7 = 3) & (A5 = 5) => D1 = 1 [3, 3, 1,2%, 1,2%, 1,863%, 1,863%, 100%][3, 0, 0][{53, 7, 13}, {}, {}]
(A5 = 8) & (A3 = 34) => D1 = 1 [2, 3, 1,2%, 0,8%, 1,863%, 1,242%, 66,667%][2, 1, 0][{247, 223}, {203}, {}]
(A5 = 38) & (A3 = 10) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{36}, {}, {}]
(A3 = 10) & (A6 = 3) & (A4 = 4) => D1 = 1 [2, 2, 0,8%, 0,8%, 1,242%, 1,242%, 100%][2, 0, 0][{101, 27}, {}, {}]
(A4 = 2) & (A2 = 2) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{77}, {}, {}]
(A4 = 5) & (A6 = 99) => D1 = 1 [2, 2, 0,8%, 0,8%, 1,242%, 1,242%, 100%][2, 0, 0][{94, 16}, {}, {}]
(A3 = 32) & (A4 = 2) & (A5 = 99) => D1 = 1 [20, 28, 11,2%, 8%, 17,391%, 12,422%, 71,429%][20, 5, 3][{34, 198, 73, 11, 79, 111, 80, 18, 19, 83, 52, 181, 55, 24, 185, 186, 187, 60, 61, 189}, {194, 151, 138, 157, 127}, {164, 172, 240}]
(A5 = 99) & (A4 = 4) & (A2 = 6) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{199}, {}, {}]
(A2 = 8) & (A1 = 1) & (A4 = 2) & (A5 = 99) => D1 = 1 [17, 19, 7,6%, 6,8%, 11,801%, 10,559%, 89,474%][17, 2, 0][{3, 67, 37, 38, 198, 73, 42, 11, 79, 111, 80, 83, 52, 55, 61, 93, 189}, {194, 151}, {}]
(A2 = 8) & (A1 = 2) & (A4 = 4) => D1 = 1 [7, 8, 3,2%, 2,8%, 4,969%, 4,348%, 87,5%][7, 1, 0][{82, 102, 182, 87, 231, 200, 217}, {150}, {}]
(A1 = 1) & (A3 = 34) & (A4 = 4) => D1 = 1 [2, 2, 0,8%, 0,8%, 1,242%, 1,242%, 100%][2, 0, 0][{226, 39}, {}, {}]
(A5 = 4) & (A6 = 3) => D1 = 1 [2, 2, 0,8%, 0,8%, 1,242%, 1,242%, 100%][2, 0, 0][{71, 72}, {}, {}]
(A5 = 5) & (A6 = 3) => D1 = 1 [2, 2, 0,8%, 0,8%, 1,242%, 1,242%, 100%][2, 0, 0][{75, 44}, {}, {}]
(A1 = 2) & (A3 = 34) & (A4 = 2) & (A5 = 99) => D1 = 1 [6, 9, 3,6%, 2,4%, 5,59%, 3,727%, 66,667%][6, 1, 2][{230, 40, 232, 43, 237, 207}, {205}, {244, 176}]
(A1 = 2) & (A6 = 99) & (A4 = 12) => D1 = 1 [2, 2, 0,8%, 0,8%, 1,242%, 1,242%, 100%][2, 0, 0][{227, 204}, {}, {}]
(A5 = 17) & (A1 = 2) => D1 = 1 [2, 2, 0,8%, 0,8%, 1,242%, 1,242%, 100%][2, 0, 0][{65, 32}, {}, {}]
(A4 = 17) & (A6 = 99) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{23}, {}, {}]
(A1 = 1) & (A5 = 2) & (A6 = 99) & (A4 = 4) & (A2 = 5) => D1 = 1 [3, 3, 1,2%, 1,2%, 1,863%, 1,863%, 100%][3, 0, 0][{51, 78, 96}, {}, {}]
(A4 = 40) & (A1 = 1) & (A3 = 10) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{241}, {}, {}]
(A4 = 1) & (A5 = 99) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{195}, {}, {}]
(A4 = 8) & (A1 = 2) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{105}, {}, {}]
(A4 = 2) & (A6 = 3) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{109}, {}, {}]
(A1 = 1) & (A4 = 1) & (A6 = 4) => D1 = 1 [2, 2, 0,8%, 0,8%, 1,242%, 1,242%, 100%][2, 0, 0][{85, 234}, {}, {}]
(A1 = 1) & (A4 = 1) & (A5 = 2) & (A6 = 99) => D1 = 1 [3, 3, 1,2%, 1,2%, 1,863%, 1,863%, 100%][3, 0, 0][{97, 193, 5}, {}, {}]
(A1 = 1) & (A6 = 3) & (A4 = 5) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{12}, {}, {}]
(A1 = 1) & (A3 = 10) & (A5 = 99) & (A2 = 5) => D1 = 1 [11, 15, 6%, 4,4%, 9,317%, 6,832%, 73,333%][11, 1, 3][{1, 68, 84, 100, 214, 74, 107, 28, 29, 14, 64}, {134}, {171, 158, 159}]
(A1 = 2) & (A5 = 2) & (A4 = 3) & (A2 = 5) => D1 = 1 [2, 2, 0,8%, 0,8%, 1,242%, 1,242%, 100%][2, 0, 0][{197, 246}, {}, {}]
(A3 = 32) & (A4 = 40) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{106}, {}, {}]
(A3 = 1) => D1 = 1 [3, 3, 1,2%, 1,2%, 1,863%, 1,863%, 100%][3, 0, 0][{9, 10, 90}, {}, {}]
(A4 = 17) & (A1 = 2) & (A6 = 2) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{45}, {}, {}]
(A1 = 1) & (A5 = 2) & (A3 = 99) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{114}, {}, {}]
(A7 = 3) & (A5 = 4) & (A4 = 12) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{70}, {}, {}]
(A1 = 1) & (A3 = 33) & (A6 = 99) => D1 = 1 [5, 6, 2,4%, 2%, 3,727%, 3,106%, 83,333%][5, 1, 0][{81, 3, 67, 56, 25}, {126}, {}]
(A1 = 2) & (A3 = 10) & (A5 = 99) => D1 = 1 [5, 7, 2,8%, 2%, 4,348%, 3,106%, 71,429%][5, 1, 1][{113, 116, 118, 215, 47}, {145}, {161}]
(A3 = 16) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{17}, {}, {}]
(A3 = 24) & (A1 = 2) & (A7 = 99) & (A5 = 3) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{76}, {}, {}]
(A3 = 19) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{35}, {}, {}]
(A1 = 2) & (A5 = 2) & (A4 = 12) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{212}, {}, {}]
(A1 = 1) & (A3 = 10) & (A5 = 3) & (A6 = 99) => D1 = 1 [4, 6, 2,4%, 1,6%, 3,727%, 2,484%, 66,667%][4, 2, 0][{50, 57, 46, 63}, {135, 122}, {}]
(A4 = 38) & (A6 = 3) => D1 = 1 [1, 2, 0,8%, 0,4%, 1,242%, 0,621%, 50%][1, 0, 1][{108}, {}, {170}]
(A4 = 40) & (A6 = 3) => D1 = 1 [2, 2, 0,8%, 0,8%, 1,242%, 1,242%, 100%][2, 0, 0][{196, 86}, {}, {}]
(A1 = 1) & (A3 = 26) => D1 = 1 [3, 3, 1,2%, 1,2%, 1,863%, 1,863%, 100%][3, 0, 0][{210, 20, 58}, {}, {}]
(A2 = 8) & (A5 = 2) & (A3 = 10) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{103}, {}, {}]
(A1 = 1) & (A5 = 2) & (A6 = 99) & (A4 = 38) => D1 = 1 [2, 3, 1,2%, 0,8%, 1,863%, 1,242%, 66,667%][2, 1, 0][{54, 201}, {131}, {}]
(A4 = 2) & (A3 = 99) => D1 = 1 [2, 2, 0,8%, 0,8%, 1,242%, 1,242%, 100%][2, 0, 0][{89, 15}, {}, {}]
(A2 = 4) & (A1 = 1) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{110}, {}, {}]
(A1 = 1) & (A6 = 2) & (A7 = 99) & (A5 = 5) & (A2 = 5) => D1 = 1 [5, 5, 2%, 2%, 3,106%, 3,106%, 100%][5, 0, 0][{2, 6, 30, 62, 31}, {}, {}]
(A3 = 29) & (A5 = 99) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{208}, {}, {}]
(A1 = 2) & (A2 = 7) => D1 = 1 [1, 2, 0,8%, 0,4%, 1,242%, 0,621%, 50%][1, 1, 0][{112}, {140}, {}]
(A1 = 1) & (A5 = 2) & (A6 = 3) & (A4 = 12) => D1 = 1 [2, 2, 0,8%, 0,8%, 1,242%, 1,242%, 100%][2, 0, 0][{115, 95}, {}, {}]
(A7 = 5) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{41}, {}, {}]
(A3 = 32) & (A6 = 2) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{184}, {}, {}]
(A5 = 3) & (A2 = 5) & (A3 = 29) => D1 = 1 [1, 1, 0,4%, 0,4%, 0,621%, 0,621%, 100%][1, 0, 0][{249}, {}, {}]

<=2
(A3 = 13) & (A5 = 3) => D1 = 1 | D1 = 2 [2, 2, 0,8%, 0,8%, 0,935%, 0,935%, 100%][1, 1, 0][{227}, {242}, {}]
(A3 = 33) & (A5 = 2) & (A2 = 6) => D1 = 1 | D1 = 2 [1, 1, 0,4%, 0,4%, 0,467%, 0,467%, 100%][1, 0, 0][{88}, {}, {}]
(A1 = 2) & (A5 = 2) & (A4 = 38) => D1 = 1 | D1 = 2 [1, 1, 0,4%, 0,4%, 0,467%, 0,467%, 100%][1, 0, 0][{4}, {}, {}]
(A4 = 4) & (A5 = 38) => D1 = 1 | D1 = 2 [1, 1, 0,4%, 0,4%, 0,467%, 0,467%, 100%][1, 0, 0][{87}, {}, {}]
(A3 = 22) & (A5 = 3) => D1 = 1 | D1 = 2 [1, 1, 0,4%, 0,4%, 0,467%, 0,467%, 100%][1, 0, 0][{219}, {}, {}]
(A1 = 2) & (A6 = 2) => D1 = 1 | D1 = 2 [8, 8, 3,2%, 3,2%, 3,738%, 3,738%, 100%][4, 4, 0][{184, 41, 250, 45}, {202, 155, 221, 144}, {}]
(A6 = 4) & (A1 = 1) => D1 = 1 | D1 = 2 [4, 4, 1,6%, 1,6%, 1,869%, 1,869%, 100%][2, 2, 0][{85, 234}, {119, 141}, {}]
(A5 = 4) & (A6 = 99) => D1 = 1 | D1 = 2 [2, 2, 0,8%, 0,8%, 0,935%, 0,935%, 100%][2, 0, 0][{49, 48}, {}, {}]
(A6 = 5) & (A1 = 2) => D1 = 1 | D1 = 2 [2, 2, 0,8%, 0,8%, 0,935%, 0,935%, 100%][2, 0, 0][{65, 32}, {}, {}]
(A1 = 1) & (A5 = 3) & (A2 = 6) => D1 = 1 | D1 = 2 [1, 1, 0,4%, 0,4%, 0,467%, 0,467%, 100%][0, 1, 0][{}, {130}, {}]
(A2 = 8) & (A1 = 2) & (A5 = 3) => D1 = 1 | D1 = 2 [5, 5, 2%, 2%, 2,336%, 2,336%, 100%][3, 2, 0][{33, 104, 222}, {245, 123}, {}]
(A5 = 2) & (A3 = 35) => D1 = 1 | D1 = 2 [1, 2, 0,8%, 0,4%, 0,935%, 0,467%, 50%][1, 0, 1][{238}, {}, {216}]
(A7 = 38) => D1 = 1 | D1 = 2 [1, 1, 0,4%, 0,4%, 0,467%, 0,467%, 100%][1, 0, 0][{9}, {}, {}]
(A1 = 2) & (A3 = 10) & (A4 = 4) => D1 = 1 | D1 = 2 [1, 1, 0,4%, 0,4%, 0,467%, 0,467%, 100%][1, 0, 0][{99}, {}, {}]
(A5 = 8) & (A3 = 34) => D1 = 1 | D1 = 2 [3, 3, 1,2%, 1,2%, 1,402%, 1,402%, 100%][2, 1, 0][{247, 223}, {203}, {}]
(A1 = 2) & (A4 = 99) => D1 = 1 | D1 = 2 [1, 1, 0,4%, 0,4%, 0,467%, 0,467%, 100%][0, 1, 0][{}, {153}, {}]
(A5 = 38) & (A3 = 10) => D1 = 1 | D1 = 2 [1, 1, 0,4%, 0,4%, 0,467%, 0,467%, 100%][1, 0, 0][{36}, {}, {}]
(A3 = 10) & (A6 = 3) & (A4 = 4) => D1 = 1 | D1 = 2 [2, 2, 0,8%, 0,8%, 0,935%, 0,935%, 100%][2, 0, 0][{101, 27}, {}, {}]
(A4 = 1) & (A1 = 2) & (A2 = 4) => D1 = 1 | D1 = 2 [1, 1, 0,4%, 0,4%, 0,467%, 0,467%, 100%][0, 1, 0][{}, {121}, {}]
(A4 = 5) & (A6 = 99) => D1 = 1 | D1 = 2 [2, 2, 0,8%, 0,8%, 0,935%, 0,935%, 100%][2, 0, 0][{94, 16}, {}, {}]
(A5 = 4) & (A6 = 3) => D1 = 1 | D1 = 2 [2, 2, 0,8%, 0,8%, 0,935%, 0,935%, 100%][2, 0, 0][{71, 72}, {}, {}]
(A5 = 5) & (A6 = 3) => D1 = 1 | D1 = 2 [2, 2, 0,8%, 0,8%, 0,935%, 0,935%, 100%][2, 0, 0][{75, 44}, {}, {}]
(A4 = 17) & (A6 = 99) => D1 = 1 | D1 = 2 [1, 1, 0,4%, 0,4%, 0,467%, 0,467%, 100%][1, 0, 0][{23}, {}, {}]
(A1 = 1) & (A5 = 2) & (A6 = 99) & (A4 = 4) & (A2 = 5) => D1 = 1 | D1 = 2 [3, 3, 1,2%, 1,2%, 1,402%, 1,402%, 100%][3, 0, 0][{51, 78, 96}, {}, {}]
(A4 = 40) & (A1 = 1) & (A3 = 10) => D1 = 1 | D1 = 2 [1, 1, 0,4%, 0,4%, 0,467%, 0,467%, 100%][1, 0, 0][{241}, {}, {}]
(A1 = 2) & (A4 = 2) & (A5 = 99) => D1 = 1 | D1 = 2 [35, 43, 17,2%, 14%, 20,093%, 16,355%, 81,395%][25, 10, 8][{15, 207, 209, 18, 19, 215, 24, 89, 34, 35, 230, 40, 232, 43, 237, 47, 113, 116, 181, 118, 183, 185, 186, 187, 60}, {145, 243, 213, 138, 139, 125, 157, 205, 127, 191}, {161, 211, 164, 244, 172, 173, 176, 240}]
(A4 = 5) & (A1 = 2) => D1 = 1 | D1 = 2 [1, 1, 0,4%, 0,4%, 0,467%, 0,467%, 100%][0, 1, 0][{}, {147}, {}]
(A1 = 2) & (A5 = 99) & (A4 = 4) => D1 = 1 | D1 = 2 [4, 4, 1,6%, 1,6%, 1,869%, 1,869%, 100%][4, 0, 0][{199, 200, 217, 91}, {}, {}]
(A4 = 8) & (A1 = 2) => D1 = 1 | D1 = 2 [1, 1, 0,4%, 0,4%, 0,467%, 0,467%, 100%][1, 0, 0][{105}, {}, {}]
(A4 = 40) & (A3 = 10) & (A6 = 3) => D1 = 1 | D1 = 2 [1, 1, 0,4%, 0,4%, 0,467%, 0,467%, 100%][1, 0, 0][{86}, {}, {}]
(A1 = 1) & (A4 = 1) & (A6 = 3) => D1 = 1 | D1 = 2 [3, 4, 1,6%, 1,2%, 1,869%, 1,402%, 75%][2, 1, 1][{110, 224}, {136}, {169}]
(A1 = 1) & (A5 = 2) & (A3 = 10) & (A6 = 99) & (A4 = 38) => D1 = 1 | D1 = 2 [2, 2, 0,8%, 0,8%, 0,935%, 0,935%, 100%][1, 1, 0][{201}, {131}, {}]
(A1 = 1) & (A4 = 1) & (A5 = 2) & (A6 = 99) => D1 = 1 | D1 = 2 [3, 3, 1,2%, 1,2%, 1,402%, 1,402%, 100%][3, 0, 0][{97, 193, 5}, {}, {}]
(A4 = 40) & (A1 = 2) & (A5 = 2) & (A3 = 10) & (A6 = 99) => D1 = 1 | D1 = 2 [3, 3, 1,2%, 1,2%, 1,402%, 1,402%, 100%][1, 2, 0][{66}, {129, 233}, {}]
(A1 = 1) & (A3 = 10) & (A5 = 99) & (A2 = 5) => D1 = 1 | D1 = 2 [12, 15, 6%, 4,8%, 7,009%, 5,607%, 80%][11, 1, 3][{1, 68, 84, 100, 214, 74, 107, 28, 29, 14, 64}, {134}, {171, 158, 159}]
(A4 = 1) & (A1 = 2) & (A5 = 2) & (A2 = 6) => D1 = 1 | D1 = 2 [1, 1, 0,4%, 0,4%, 0,467%, 0,467%, 100%][0, 1, 0][{}, {137}, {}]
(A1 = 2) & (A5 = 2) & (A4 = 3) & (A2 = 5) => D1 = 1 | D1 = 2 [2, 2, 0,8%, 0,8%, 0,935%, 0,935%, 100%][2, 0, 0][{197, 246}, {}, {}]
(A5 = 38) & (A6 = 3) => D1 = 1 | D1 = 2 [1, 1, 0,4%, 0,4%, 0,467%, 0,467%, 100%][1, 0, 0][{109}, {}, {}]
(A2 = 2) & (A6 = 99) => D1 = 1 | D1 = 2 [2, 2, 0,8%, 0,8%, 0,935%, 0,935%, 100%][2, 0, 0][{90, 77}, {}, {}]
(A2 = 8) & (A1 = 1) & (A6 = 99) => D1 = 1 | D1 = 2 [34, 36, 14,4%, 13,6%, 16,822%, 15,888%, 94,444%][28, 6, 2][{3, 67, 198, 73, 11, 79, 80, 81, 83, 22, 25, 93, 226, 37, 38, 39, 103, 42, 106, 111, 114, 52, 117, 54, 55, 56, 61, 189}, {146, 194, 132, 151, 124, 126}, {163, 160}]
(A1 = 2) & (A3 = 11) => D1 = 1 | D1 = 2 [1, 1, 0,4%, 0,4%, 0,467%, 0,467%, 100%][0, 1, 0][{}, {156}, {}]
(A1 = 1) & (A3 = 13) => D1 = 1 | D1 = 2 [3, 3, 1,2%, 1,2%, 1,402%, 1,402%, 100%][1, 2, 0][{239}, {229, 128}, {}]
(A1 = 1) & (A6 = 2) & (A7 = 99) => D1 = 1 | D1 = 2 [13, 13, 5,2%, 5,2%, 6,075%, 6,075%, 100%][11, 2, 0][{2, 21, 69, 6, 8, 26, 59, 92, 30, 62, 31}, {148, 154}, {}]
(A3 = 16) => D1 = 1 | D1 = 2 [1, 1, 0,4%, 0,4%, 0,467%, 0,467%, 100%][1, 0, 0][{17}, {}, {}]
(A5 = 2) & (A4 = 7) => D1 = 1 | D1 = 2 [1, 1, 0,4%, 0,4%, 0,467%, 0,467%, 100%][1, 0, 0][{98}, {}, {}]
(A1 = 2) & (A7 = 99) & (A5 = 3) & (A2 = 6) => D1 = 1 | D1 = 2 [2, 2, 0,8%, 0,8%, 0,935%, 0,935%, 100%][1, 1, 0][{76}, {248}, {}]
(A4 = 12) & (A5 = 2) => D1 = 1 | D1 = 2 [5, 5, 2%, 2%, 2,336%, 2,336%, 100%][3, 2, 0][{115, 212, 95}, {120, 128}, {}]
(A3 = 23) => D1 = 1 | D1 = 2 [2, 2, 0,8%, 0,8%, 0,935%, 0,935%, 100%][2, 0, 0][{195, 204}, {}, {}]
(A1 = 1) & (A3 = 10) & (A5 = 3) & (A6 = 99) => D1 = 1 | D1 = 2 [6, 6, 2,4%, 2,4%, 2,804%, 2,804%, 100%][4, 2, 0][{50, 57, 46, 63}, {135, 122}, {}]
(A4 = 38) & (A6 = 3) => D1 = 1 | D1 = 2 [1, 2, 0,8%, 0,4%, 0,935%, 0,467%, 50%][1, 0, 1][{108}, {}, {170}]
(A1 = 2) & (A3 = 26) => D1 = 1 | D1 = 2 [2, 2, 0,8%, 0,8%, 0,935%, 0,935%, 100%][1, 1, 0][{112}, {140}, {}]
(A1 = 1) & (A2 = 7) => D1 = 1 | D1 = 2 [3, 3, 1,2%, 1,2%, 1,402%, 1,402%, 100%][3, 0, 0][{210, 20, 58}, {}, {}]
(A1 = 2) & (A5 = 99) & (A2 = 5) => D1 = 1 | D1 = 2 [9, 10, 4%, 3,6%, 4,673%, 4,206%, 90%][7, 2, 1][{113, 116, 118, 215, 204, 47, 208}, {145, 213}, {161}]
(A3 = 1) & (A5 = 2) => D1 = 1 | D1 = 2 [1, 1, 0,4%, 0,4%, 0,467%, 0,467%, 100%][1, 0, 0][{10}, {}, {}]
(A1 = 1) & (A7 = 3) => D1 = 1 | D1 = 2 [5, 5, 2%, 2%, 2,336%, 2,336%, 100%][4, 1, 0][{53, 70, 7, 13}, {133}, {}]
(A1 = 2) & (A6 = 3) & (A2 = 4) => D1 = 1 | D1 = 2 [1, 1, 0,4%, 0,4%, 0,467%, 0,467%, 100%][1, 0, 0][{196}, {}, {}]
(A2 = 8) & (A1 = 1) & (A6 = 3) => D1 = 1 | D1 = 2 [2, 2, 0,8%, 0,8%, 0,935%, 0,935%, 100%][1, 1, 0][{12}, {143}, {}]
(A5 = 3) & (A2 = 5) & (A3 = 29) => D1 = 1 | D1 = 2 [1, 1, 0,4%, 0,4%, 0,467%, 0,467%, 100%][1, 0, 0][{249}, {}, {}]
(A2 = 8) & (A1 = 2) & (A6 = 3) => D1 = 1 | D1 = 2 [1, 1, 0,4%, 0,4%, 0,467%, 0,467%, 100%][0, 1, 0][{}, {142}, {}]
(A2 = 8) & (A1 = 2) & (A5 = 2) & (A6 = 99) => D1 = 1 | D1 = 2 [8, 9, 3,6%, 3,2%, 4,206%, 3,738%, 88,889%][4, 4, 1][{82, 102, 182, 231}, {149, 150, 152, 236}, {188}]

>=2
(A4 = 8) & (A1 = 1) => D1 = 2 | D1 = 3 [2, 2, 0,8%, 0,8%, 2,247%, 2,247%, 100%][0, 2, 0][{}, {124, 141}, {}]
(A5 = 4) & (A4 = 39) => D1 = 2 | D1 = 3 [1, 1, 0,4%, 0,4%, 1,124%, 1,124%, 100%][0, 1, 0][{}, {154}, {}]
(A1 = 1) & (A5 = 2) & (A3 = 10) & (A6 = 99) & (A4 = 38) => D1 = 2 | D1 = 3 [1, 2, 0,8%, 0,4%, 2,247%, 1,124%, 50%][1, 1, 0][{201}, {131}, {}]
(A4 = 1) & (A1 = 2) & (A6 = 3) => D1 = 2 | D1 = 3 [3, 3, 1,2%, 1,2%, 3,371%, 3,371%, 100%][0, 2, 1][{}, {137, 142}, {225}]
(A4 = 1) & (A1 = 2) & (A5 = 2) & (A6 = 99) => D1 = 2 | D1 = 3 [7, 8, 3,2%, 2,8%, 8,989%, 7,865%, 87,5%][1, 4, 3][{112}, {149, 152, 121, 140}, {167, 188, 174}]
(A1 = 1) & (A5 = 3) & (A6 = 99) & (A4 = 4) => D1 = 2 | D1 = 3 [2, 3, 1,2%, 0,8%, 3,371%, 2,247%, 66,667%][1, 2, 0][{57}, {130, 122}, {}]
(A6 = 2) & (A5 = 4) & (A4 = 38) => D1 = 2 | D1 = 3 [1, 1, 0,4%, 0,4%, 1,124%, 1,124%, 100%][0, 1, 0][{}, {221}, {}]
(A2 = 9) & (A3 = 13) => D1 = 2 | D1 = 3 [1, 1, 0,4%, 0,4%, 1,124%, 1,124%, 100%][0, 0, 1][{}, {}, {190}]
(A2 = 4) & (A5 = 3) => D1 = 2 | D1 = 3 [2, 2, 0,8%, 0,8%, 2,247%, 2,247%, 100%][0, 0, 2][{}, {}, {168, 192}]
(A1 = 1) & (A5 = 2) & (A2 = 6) => D1 = 2 | D1 = 3 [1, 2, 0,8%, 0,4%, 2,247%, 1,124%, 50%][1, 0, 1][{224}, {}, {169}]
(A2 = 8) & (A3 = 10) & (A6 = 2) => D1 = 2 | D1 = 3 [1, 1, 0,4%, 0,4%, 1,124%, 1,124%, 100%][0, 1, 0][{}, {148}, {}]
(A1 = 2) & (A3 = 2) => D1 = 2 | D1 = 3 [1, 1, 0,4%, 0,4%, 1,124%, 1,124%, 100%][0, 0, 1][{}, {}, {180}]
(A5 = 8) & (A2 = 5) => D1 = 2 | D1 = 3 [1, 1, 0,4%, 0,4%, 1,124%, 1,124%, 100%][0, 0, 1][{}, {}, {228}]
(A4 = 17) & (A1 = 2) & (A6 = 3) => D1 = 2 | D1 = 3 [1, 1, 0,4%, 0,4%, 1,124%, 1,124%, 100%][0, 0, 1][{}, {}, {175}]
(A7 = 3) & (A5 = 4) & (A4 = 7) => D1 = 2 | D1 = 3 [1, 1, 0,4%, 0,4%, 1,124%, 1,124%, 100%][0, 1, 0][{}, {133}, {}]
(A1 = 2) & (A4 = 2) & (A3 = 13) => D1 = 2 | D1 = 3 [2, 2, 0,8%, 0,8%, 2,247%, 2,247%, 100%][0, 2, 0][{}, {242, 213}, {}]
(A3 = 32) & (A5 = 8) & (A1 = 2) => D1 = 2 | D1 = 3 [1, 1, 0,4%, 0,4%, 1,124%, 1,124%, 100%][0, 0, 1][{}, {}, {166}]
(A1 = 2) & (A3 = 11) => D1 = 2 | D1 = 3 [1, 1, 0,4%, 0,4%, 1,124%, 1,124%, 100%][0, 1, 0][{}, {156}, {}]
(A1 = 2) & (A4 = 99) => D1 = 2 | D1 = 3 [1, 1, 0,4%, 0,4%, 1,124%, 1,124%, 100%][0, 1, 0][{}, {153}, {}]
(A4 = 1) & (A1 = 2) & (A3 = 10) & (A6 = 2) => D1 = 2 | D1 = 3 [2, 2, 0,8%, 0,8%, 2,247%, 2,247%, 100%][0, 2, 0][{}, {155, 144}, {}]
(A1 = 1) & (A5 = 99) & (A3 = 13) => D1 = 2 | D1 = 3 [1, 2, 0,8%, 0,4%, 2,247%, 1,124%, 50%][1, 1, 0][{239}, {229}, {}]
(A2 = 8) & (A3 = 33) & (A1 = 2) => D1 = 2 | D1 = 3 [7, 10, 4%, 2,8%, 11,236%, 7,865%, 70%][3, 7, 0][{82, 183, 222}, {245, 150, 152, 139, 236, 125, 191}, {}]
(A3 = 13) & (A6 = 2) => D1 = 2 | D1 = 3 [1, 1, 0,4%, 0,4%, 1,124%, 1,124%, 100%][0, 1, 0][{}, {202}, {}]
(A5 = 7) => D1 = 2 | D1 = 3 [1, 1, 0,4%, 0,4%, 1,124%, 1,124%, 100%][0, 0, 1][{}, {}, {235}]
(A5 = 8) & (A1 = 1) => D1 = 2 | D1 = 3 [3, 5, 2%, 1,2%, 5,618%, 3,371%, 60%][2, 1, 2][{117, 22}, {146}, {163, 160}]
(A4 = 38) & (A6 = 3) => D1 = 2 | D1 = 3 [1, 2, 0,8%, 0,4%, 2,247%, 1,124%, 50%][1, 0, 1][{108}, {}, {170}]
(A1 = 1) & (A4 = 17) & (A5 = 2) => D1 = 2 | D1 = 3 [1, 1, 0,4%, 0,4%, 1,124%, 1,124%, 100%][0, 0, 1][{}, {}, {179}]
(A3 = 24) & (A1 = 2) & (A5 = 99) => D1 = 2 | D1 = 3 [3, 4, 1,6%, 1,2%, 4,494%, 3,371%, 75%][1, 1, 2][{209}, {243}, {211, 173}]
(A3 = 33) & (A1 = 2) & (A4 = 2) => D1 = 2 | D1 = 3 [5, 7, 2,8%, 2%, 7,865%, 5,618%, 71,429%][2, 5, 0][{183, 222}, {245, 248, 139, 125, 191}, {}]
(A3 = 32) & (A1 = 1) & (A4 = 4) => D1 = 2 | D1 = 3 [1, 1, 0,4%, 0,4%, 1,124%, 1,124%, 100%][0, 1, 0][{}, {132}, {}]
(A7 = 2) & (A8 = 99) => D1 = 2 | D1 = 3 [1, 1, 0,4%, 0,4%, 1,124%, 1,124%, 100%][0, 1, 0][{}, {119}, {}]
(A4 = 40) & (A1 = 2) & (A5 = 2) & (A6 = 99) => D1 = 2 | D1 = 3 [3, 5, 2%, 1,2%, 5,618%, 3,371%, 60%][2, 2, 1][{66, 238}, {129, 233}, {216}]
(A1 = 1) & (A6 = 99) & (A4 = 12) => D1 = 2 | D1 = 3 [3, 3, 1,2%, 1,2%, 3,371%, 3,371%, 100%][0, 2, 1][{}, {120, 128}, {206}]
(A1 = 1) & (A4 = 1) & (A6 = 3) & (A2 = 5) => D1 = 2 | D1 = 3 [1, 1, 0,4%, 0,4%, 1,124%, 1,124%, 100%][0, 1, 0][{}, {136}, {}]
(A1 = 1) & (A5 = 99) & (A2 = 6) => D1 = 2 | D1 = 3 [1, 1, 0,4%, 0,4%, 1,124%, 1,124%, 100%][0, 0, 1][{}, {}, {165}]
(A2 = 8) & (A6 = 3) & (A4 = 4) => D1 = 2 | D1 = 3 [1, 1, 0,4%, 0,4%, 1,124%, 1,124%, 100%][0, 1, 0][{}, {143}, {}]
(A5 = 2) & (A3 = 6) => D1 = 2 | D1 = 3 [1, 1, 0,4%, 0,4%, 1,124%, 1,124%, 100%][0, 0, 1][{}, {}, {218}]
(A1 = 1) & (A4 = 3) => D1 = 2 | D1 = 3 [1, 1, 0,4%, 0,4%, 1,124%, 1,124%, 100%][0, 0, 1][{}, {}, {177}]
(A1 = 1) & (A5 = 3) & (A3 = 11) => D1 = 2 | D1 = 3 [1, 1, 0,4%, 0,4%, 1,124%, 1,124%, 100%][0, 0, 1][{}, {}, {220}]
(A4 = 5) & (A1 = 2) => D1 = 2 | D1 = 3 [1, 1, 0,4%, 0,4%, 1,124%, 1,124%, 100%][0, 1, 0][{}, {147}, {}]
(A6 = 5) & (A7 = 2) => D1 = 2 | D1 = 3 [1, 1, 0,4%, 0,4%, 1,124%, 1,124%, 100%][0, 0, 1][{}, {}, {162}]
(A1 = 2) & (A3 = 10) & (A5 = 3) => D1 = 2 | D1 = 3 [1, 1, 0,4%, 0,4%, 1,124%, 1,124%, 100%][0, 0, 1][{}, {}, {178}]

>=3
(A4 = 1) & (A1 = 2) & (A3 = 10) & (A6 = 99) => D1 = 3 [1, 1, 0,4%, 0,4%, 2,778%, 2,778%, 100%][0, 0, 1][{}, {}, {167}]
(A5 = 8) & (A3 = 10) => D1 = 3 [1, 1, 0,4%, 0,4%, 2,778%, 2,778%, 100%][0, 0, 1][{}, {}, {228}]
(A3 = 24) & (A1 = 1) & (A4 = 2) => D1 = 3 [1, 1, 0,4%, 0,4%, 2,778%, 2,778%, 100%][0, 0, 1][{}, {}, {165}]
(A5 = 7) => D1 = 3 [1, 1, 0,4%, 0,4%, 2,778%, 2,778%, 100%][0, 0, 1][{}, {}, {235}]
(A4 = 38) & (A6 = 3) => D1 = 3 [1, 2, 0,8%, 0,4%, 5,556%, 2,778%, 50%][1, 0, 1][{108}, {}, {170}]
(A1 = 2) & (A2 = 2) => D1 = 3 [1, 1, 0,4%, 0,4%, 2,778%, 2,778%, 100%][0, 0, 1][{}, {}, {180}]
(A3 = 24) & (A1 = 2) & (A5 = 99) => D1 = 3 [2, 4, 1,6%, 0,8%, 11,111%, 5,556%, 50%][1, 1, 2][{209}, {243}, {211, 173}]
(A2 = 9) & (A3 = 13) => D1 = 3 [1, 1, 0,4%, 0,4%, 2,778%, 2,778%, 100%][0, 0, 1][{}, {}, {190}]
(A2 = 4) & (A5 = 3) => D1 = 3 [2, 2, 0,8%, 0,8%, 5,556%, 5,556%, 100%][0, 0, 2][{}, {}, {168, 192}]
(A1 = 1) & (A5 = 2) & (A2 = 6) => D1 = 3 [1, 2, 0,8%, 0,4%, 5,556%, 2,778%, 50%][1, 0, 1][{224}, {}, {169}]
(A4 = 1) & (A1 = 2) & (A6 = 3) & (A2 = 5) => D1 = 3 [1, 1, 0,4%, 0,4%, 2,778%, 2,778%, 100%][0, 0, 1][{}, {}, {225}]
(A3 = 32) & (A4 = 1) & (A6 = 99) => D1 = 3 [1, 2, 0,8%, 0,4%, 5,556%, 2,778%, 50%][0, 1, 1][{}, {149}, {188}]
(A4 = 17) & (A5 = 2) & (A6 = 3) => D1 = 3 [2, 2, 0,8%, 0,8%, 5,556%, 5,556%, 100%][0, 0, 2][{}, {}, {179, 175}]
(A5 = 2) & (A1 = 2) & (A3 = 99) => D1 = 3 [1, 1, 0,4%, 0,4%, 2,778%, 2,778%, 100%][0, 0, 1][{}, {}, {174}]
(A5 = 2) & (A3 = 6) => D1 = 3 [1, 1, 0,4%, 0,4%, 2,778%, 2,778%, 100%][0, 0, 1][{}, {}, {218}]
(A3 = 32) & (A5 = 8) & (A1 = 2) => D1 = 3 [1, 1, 0,4%, 0,4%, 2,778%, 2,778%, 100%][0, 0, 1][{}, {}, {166}]
(A1 = 1) & (A4 = 3) => D1 = 3 [1, 1, 0,4%, 0,4%, 2,778%, 2,778%, 100%][0, 0, 1][{}, {}, {177}]
(A3 = 35) & (A6 = 99) => D1 = 3 [1, 2, 0,8%, 0,4%, 5,556%, 2,778%, 50%][1, 0, 1][{238}, {}, {216}]
(A1 = 1) & (A5 = 3) & (A3 = 11) => D1 = 3 [1, 1, 0,4%, 0,4%, 2,778%, 2,778%, 100%][0, 0, 1][{}, {}, {220}]
(A1 = 2) & (A3 = 10) & (A5 = 3) => D1 = 3 [1, 1, 0,4%, 0,4%, 2,778%, 2,778%, 100%][0, 0, 1][{}, {}, {178}]
(A6 = 5) & (A7 = 2) => D1 = 3 [1, 1, 0,4%, 0,4%, 2,778%, 2,778%, 100%][0, 0, 1][{}, {}, {162}]
(A1 = 1) & (A3 = 14) => D1 = 3 [1, 1, 0,4%, 0,4%, 2,778%, 2,778%, 100%][0, 0, 1][{}, {}, {206}]